Algebraic semantics - PDFSEARCH.IO - Document Search Engine

Algebraic semantics
Results: 56

#	Item
21	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:06:27 Logic Mathematical structures Abstract algebra Universal algebra Algebraic structures Structure Term algebra Denotational semantics Interpretation Mathematics Mathematical logic Model theory
22	Handlers of Algebraic Effects Gordon Plotkin ? and Matija Pretnar Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Topology Symbol Denotational semantics Monad Model theory Sheaf Orbifold Μ operator Theoretical computer science Logic in computer science Mathematics
23	Jonnalagadda et al. Journal of Biomedical Semantics 2012, 3:2 http://www.jbiomedsem.com/contentRESEARCH JOURNAL OF Add to Reading List Source URL: www.jbiomedsem.com Language: English Mathematics Structure Network analysis Algebraic graph theory Centrality Betweenness centrality Social network analysis Graph center Obesity Graph theory Networks Network theory
24	Non-Standard Semantics of Hybrid Systems ModelersI Albert Benvenistea,∗, Timothy Bourkea , Benoˆıt Caillauda , Marc Pouzetb a INRIA-Rennes, b Ecole Campus de Beaulieu, 35042 Rennes cedex, France Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Mathematics Simulation software Differential calculus Modelica Differential equations Dymola Differential algebraic equation Scicos Vehicle Identification Number Mathematical analysis Object-oriented programming Application software
25	Preferential Semantics using Non-smooth Preference Relations∗ XXX January 10, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-11 03:16:39 Algebraic topology Deduction Entailment Logical consequence Metalogic Transitive set Sheaf Constructible universe Orbifold Logic Abstract algebra Mathematics
26	HOL Formalised: Semantics R.D. Arthan Lemma 1 Ltd. [removed] 25th October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-03-20 12:33:24 Sheaf Function Universe Zermelo–Fraenkel set theory Lambda calculus Constructible universe Mathematics Mathematical logic Algebraic topology
27	Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation Elie Richa1,2 , Etienne Borde1 , Laurent Pautet1 Matteo Bordin2 , and José F. Ruiz2 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-10-09 10:02:01 Graph rewriting Software development Theoretical computer science Graph theory Object Constraint Language Transformation language Metamodeling Model transformation Predicate transformer semantics Unified Modeling Language Systems engineering Software engineering
28	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
29	Abstracta 6 : 1, pp. 117 – 135, 2010 CARNAP’S PROBLEM: WHAT IS IT LIKE TO BE A NORMAL INTERPRETATION OF CLASSICAL LOGIC?* Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:08 Propositional calculus Semantics Boolean algebra Model theory Algebraic logic Interpretation Entailment Valuation Truth table Logic Mathematical logic Mathematics
30	Complete Monitors for Behavioral Contracts⋆ Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA {chrdimo,samth,matthias}@ccs.neu.edu Abstract. A behaviora Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Logic in computer science Differential geometry Programming language semantics Algebraic geometry Field theory Valuation

UPDATE